Research in Computing Science, Vol. 14, pp. 241-252, 2005.
PDF: A Formal Foundation for Aspect Oriented Software Development PDF: A Formal Foundation for Aspect Oriented Software Development